989d10b8361830f50123d4bc986bc26eb008daea,src/wyil/util/TypeSystem.java,TypeSystem,expandAsReference,#Type#,124

In pattern: SUPERPATTERN

Frequency: 3

Non-data size: 5


Instances


1472366343
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,989d10b8361830f50123d4bc986bc26eb008daea,src/wyil/util/TypeSystem.java,TypeSystem,expandAsReference,#Type#,124


1472366343
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,989d10b8361830f50123d4bc986bc26eb008daea,src/wyil/util/TypeSystem.java,TypeSystem,expandAsEffectiveArray,#Type#,116


1472366343
david.pearce@ecs.vuw.ac.nz
Whiley/WhileyCompiler,989d10b8361830f50123d4bc986bc26eb008daea,src/wyil/util/TypeSystem.java,TypeSystem,expandAsEffectiveRecord,#Type#,108